home *** CD-ROM | disk | FTP | other *** search
-
-
-
-
- INTEGRITY(QUEL) 2/7/79 INTEGRITY(QUEL)
-
-
-
- NAME
- integrity - define integrity constraints
-
- SYNOPSIS
- _d_e_f_i_n_e _i_n_t_e_g_r_i_t_y _o_n var _i_s qual
-
- DESCRIPTION
- The _i_n_t_e_g_r_i_t_y statement adds an integrity constraint for the
- relation specified by _v_a_r. After the constraint is placed,
- all updates to the relation must satisfy _q_u_a_l. _Q_u_a_l must be
- true when the _i_n_t_e_g_r_i_t_y statement is issued or else a diag-
- nostic is issued and the statement is rejected.
-
- In the current implementation, _i_n_t_e_g_r_i_t_y constraints are not
- flagged - bad updates are simply (and silently) not per-
- formed.
-
- _Q_u_a_l must be a single variable qualification and may not
- contain any aggregates.
-
-
- _i_n_t_e_g_r_i_t_y statement may be issued only by the relation
- owner.
-
- EXAMPLE
- /* Ensure all employees have positive salaries */
- range of e is employee
- define integrity on e is e.salary > 0
-
- SEE ALSO
- destroy(quel)
-
-
-